(Eng:
Horn clause) Dit is in de predikatencalculus een clausule met slechts één niet-negatieve literaal (atoom). In Prolog betekent dit dat niet meer dan één clausule links van het :- teken is toegestaan. Clausules van Horn worden gebruikt bij de bewijsvoeringen van praktische stellingen omdat ze het vinden van oplossingen redelijk eenvo...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
Horn clause) Dit is in de predikatencalculus een clausule met slechts één niet-negatieve literaal (atoom). In Prolog betekent dit dat niet meer dan één clausule links van het :- teken is toegestaan. Clausules van Horn worden gebruikt bij de bewijsvoeringen van praktische stellingen omdat ze het vinden van oplossingen redelijk eenvo...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
